monotonic system of sets

单掂